PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform

نویسنده

  • Thomas Quaritsch
چکیده

Facing a diagnostic challenge, the decision about the algorithmic variant to adopt for a certain project is a challenging one. With PyMBD, we provide an easily accessible Python library, offering our implementations of several established model-based diagnosis (MBD) algorithms that a user can experiment with. Via the integrated experimentation features, a user can also delve into assessing the effects of her algorithmic changes and optimizations. That is, algorithm authors can run evaluations and generate comparison graphs via accessing simple interfaces to algorithms and backends such as SAT solvers. C-based algorithms (or algorithm parts) can be interfaced via the Boost.Python library.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Metabolic Bone Disease in Very Low-Birth-Weight Neonates

Background: Metabolic bone diseases (MBD), including rickets and osteopenia, are important neonatal complications among preterm infants. This study aimed to determine the prevalence and risk factors of MBD in neonates with very low birth weight (VLBW). Methods: This prospective study was conducted on VLBW infants from January 2012 to July 2013. Inclusion criteria were birth weight of ≤1500 g a...

متن کامل

Identification and Prioritization of the State-of-the-Art Technologies in the Management of Iranian Public Libraries

Purpose: State-of-the-art technology refers to the best and latest technological advancement possible at a particular time. Today, public libraries play a key role in the various cultural and social spheres of society. Although various technologies can help to fulfill the basic roles of public libraries correctly and completely, their application in the context of these libraries undoubtedly fa...

متن کامل

Evaluation of Growth, Calcium Content, and Nitrate of Some Greenhouse Lettuce (Lactuca sativa L.) Cultivars in Response to Increasing the Night Light

An experiment was conducted as split plot based on the randomized complete blocks design, in greenhouse complex of Shahid Chamran University of Ahvaz in 2017. The main plot consisted of light treatment at two levels [a) sunlight (control), b) sunlight + red and blue LEDs (50:50%) with light intensity of 70 μmol/m2s for 15 hours (from 5 PM to 8 AM as night light] and the subplot was six greenhou...

متن کامل

Study of Fixed Jacket Offshore Platform in the Optimization Design Process under Environmental Loads

In the structural optimization problem, the aim is to decrease the amount of structural costs and weight, but the safety of platform should not violate the individual limits enforced by offshore codes. The outer diameter and thickness of members are two important variables in the optimization process and their final dimensions should be obtained according to the optimization algorithms such as ...

متن کامل

Characterization and Evaluation of Light Hydrocarbon in Northwestern Iranian Crude Oil by Detailed Hydrocarbon Analysis (D.H.A)Gas Chromatography

Lighthydrocarbons are commonly used to evaluatecrude oils to determine oil families in reservoirs undergone some kind of alteration process. In this study crude oil contentsfromNorthwestern IranDelta (samples A, B and C)were analyzed in order to evaluate the IranDelta petroleum system independent of higher molecular weight markers. Ultra high resolution gas chromatography was used in separation...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014